1. <A> Mathematical Introduction to Logic
پدیدآورنده : \ Herbert B. Enderton
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
2. A mathematical introduction to logi
پدیدآورنده : Enderton, Herbert B., ]by[ Herbert B. Enderton
موضوع : ، Logic, Symbolic and mathematical
۷ نسخه از این کتاب در ۶ کتابخانه موجود است.
3. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E59
2001
4. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E59
5. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E54
2001
6. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
E54
2001
7. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Logic,Symbolic and mathematical
رده :
QA
9
.
E54
8. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical
رده :
E-BOOK
9. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E5
10. Computability theory
پدیدآورنده : Herbert B. Enderton
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Recursion theory
رده :
QA
9
,.
6
.
E52C6
2011
11. Computability theory : an introduction to recursion theory
پدیدآورنده : Enderton, Herbert B.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
E53
2011
12. Computability theory : an introduction to recursion theory
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
E53C6
13. Computability theory :an introduction to recursion theory
پدیدآورنده : / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Recursion theory
رده :
511
.
35
E56C
2011
14. Elements of set theory
پدیدآورنده : Enderton, Herbert B
موضوع : ، Set theory
۷ نسخه از این کتاب در ۶ کتابخانه موجود است.
15. Elements of set theory
پدیدآورنده : / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Set theory
رده :
QA248
.
E5
16. Elements of set theory
پدیدآورنده : / Herbert B. Enderton
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Set theory
رده :
511
.
322
E56e
17. Elements of set theory
پدیدآورنده : / Herbert B. Enderton
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Set theory
رده :
QA248
.
E5
1977
18. Elements of set theory
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Set theory
رده :
QA
248
.
E5
19. Elements of set theory
پدیدآورنده : Enderton, Herbert B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Set theory
رده :
QA
248
.
E5
20. Elements of set theory
پدیدآورنده : Enderton, Herbert B.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Set theory
رده :
QA
248
.
E5
